Analogy in a general-purpose reasoning system
نویسندگان
چکیده
منابع مشابه
Analogy in a general-purpose reasoning system
This paper introduces the various forms of analogy in NARS, a generalpurpose reasoning system. NARS is an AI system designed to be adaptive and to work with insufficient knowledge and resources. In the system, multiple types of inference, including analogy, deduction, induction, abduction, comparison, and revision, are unified both in syntax and in semantics. The system can also carry out relat...
متن کاملIRIS WD-203 General Purpose Case-based Reasoning System
Case-based reasoning (CBR) can be defined as the task of solving a new problem by remembering a previous related situation and of course reusing information and knowledge of that situation. Using a CBR system in structural health monitoring saves both time and money because accidents such as bridge collapses can be avoided. CBR systems also are used e.g. for medical support, credit decision tas...
متن کاملProdigy/Analogy: Analogical Reasoning in General Problem Solving
This paper describes the integration of analogical reasoning into general problem solving as a method of learning at the strategy level to solve problems more eeectively. The method based on derivational analogy has been fully implemented in prodigy/analogy and proven empirically to be amenable to scaling up both in terms of domain and problem complexity. prodigy/analogy addresses a set of chal...
متن کاملA General Interface for Interaction of Special-Purpose Reasoners within a Modular Reasoning System
The increasing significance of special-purpose reasoners in theorem proving, and the necessity for a common i teraction interface for such reasoners is discussed. A candidate set of operations for such an interface is proposed. The interface is based on two important classes of objects a reasoner and a proof step. A discussion on the importance of presenting proofs in flexible, human-readable f...
متن کاملA General Purpose Inference Engine for Evidential Reasoning Research
The purpose of this paper is to report on the most recent developments in our ongoing investigation of th.e representation and manipulation of uncertainty in automated reasoning systems. In our earlier studies (Tong and Shapiro, 1985) we described a series of experiments with Rt;BRIC (Tong e t al., 198.'5), a. system for full-text document retrieval, that generated some interesting insights int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Systems Research
سال: 2009
ISSN: 1389-0417
DOI: 10.1016/j.cogsys.2008.09.003